#include <stdio.h>
//#include "ARMCM4.h"   

//struct __FILE { int handle; /* Add whatever needed */ };
//FILE __stdout;
//FILE __stdin;
// 
//int fputc(int ch, FILE *f) 
//{
//    return ITM_SendChar(ch);
//}

//volatile int32_t ITM_RxBuffer = ITM_RXBUFFER_EMPTY;
//int fgetc(FILE *f) 
//{
//    while(ITM_CheckChar() != 1)
//	      __NOP();
//    return (ITM_ReceiveChar());
//}
//int ferror(FILE *f) 
//{
//  /* Your implementation of ferror */
//  return EOF;
//}

//void _ttywrch(int ch) 
//{
//	fputc(ch, &__stdout);
//}

////int __backspace()
////{
////	return 0;
////}
//void _sys_exit(int return_code) 
//{
//  while (1);    /* endless loop */
//}

int main(void)
{
    int val;
    printf("Please enter a number and then press Enter:\n");
    scanf("%d", &val);
    printf("The number you entered was %d\n", val);	
    return 0;
}
